IFL 2003 : implementation of functional languages (Edinburgh, 8-11 September 2003, revised papers)Trinder, Phil; Pena, Ricardo.Lecture notes in computer science. 2004, issn 0302-9743, isbn 3-540-23727-5, VII, 184 p, isbn 3-540-23727-5Conference Proceedings

IFL 2001 : implementation of functional languages (Stockholm, 24-26 September 2001, selected papers)Arts, Thomas; Mohnen, Markus.Lecture notes in computer science. 2002, issn 0302-9743, isbn 3-540-43537-9, VI, 185 p, isbn 3-540-43537-9Conference Proceedings

Implementation and application of functional languages (17th International workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005)Butterfield, Andrew; Grelck, Clemens; Huch, Frank et al.Lecture notes in computer science. 2006, issn 0302-9743, isbn 3-540-69174-X, 1Vol, VI-230 p, isbn 3-540-69174-XConference Proceedings

Dynamic cheap eagernessFAXEN, Karl-Filip.Lecture notes in computer science. 2002, pp 105-120, issn 0302-9743, isbn 3-540-43537-9Conference Paper

Two-pass heap profiling : A matter of life and deathRUNCIMAN, C; RÖJEMO, N.Lecture notes in computer science. 1997, pp 222-232, issn 0302-9743, isbn 3-540-63237-9Conference Paper

An implementation of Eden on top of concurrent HaskellBREITINGER, S; KLUSIK, U; LOOGEN, R et al.Lecture notes in computer science. 1997, pp 141-161, issn 0302-9743, isbn 3-540-63237-9Conference Paper

SEXT2 : A logical-functional language with finite and infinite setsGABER, K; YIM, P.CESA'96 IMACS Multiconference : computational engineering in systems applications. 1996, pp 398-403, isbn 2-9510266-1-7Conference Paper

A simple language is also a functionnal languageWADLER, P.Software, practice & experience. 1985, Vol 15, Num 2, issn 0038-0644, 219Article

Persistent haskellQUINTELA, Juan; SANCHEZ, Juan J.Lecture notes in computer science. 2001, pp 657-667, issn 0302-9743, isbn 3-540-42959-XConference Paper

IFL 2004 : implementation and application of functional languages (Lübeck, 8-10 September 2004, revised selected papers)Grelck, Clemens; Huch, Frank; Michaelson, Greg J et al.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-26094-3, X, 225 p, isbn 3-540-26094-3Conference Proceedings

Lazy assertionsCHITIL, Olaf; MCNEILL, Dan; RUNCIMAN, Colin et al.Lecture notes in computer science. 2004, pp 1-19, issn 0302-9743, isbn 3-540-23727-5, 19 p.Conference Paper

The implementation and efficiency of arrays in Clean 1.1VAN GRONINGEN, J. H. G.Lecture notes in computer science. 1997, pp 105-124, issn 0302-9743, isbn 3-540-63237-9Conference Paper

A survey of proposed architectures for the execution of functional languagesVEGDAHL, S. R.IEEE transactions on computers. 1984, Vol 33, Num 12, pp 1050-1071, issn 0018-9340Article

IFL '96 : implementation of functional languages (Bad Godesberg, September 16-18, 1996)Kluge, Werner.Lecture notes in computer science. 1997, issn 0302-9743, isbn 3-540-63237-9, IX, 284 p, isbn 3-540-63237-9Conference Proceedings

First class file I/OPIL, M.Lecture notes in computer science. 1997, pp 233-246, issn 0302-9743, isbn 3-540-63237-9Conference Paper

The geometry of orthogonal reduction spacesKHASIDASHVILI, Z; GLAUERT, J.Lecture notes in computer science. 1997, pp 649-659, issn 0302-9743, isbn 3-540-63165-8Conference Paper

La supériorité de l'ordre supérieur = The superiority of higher orderFILLIATRE, J.-C.Journées francophones des langages applicatifs. 2002, pp 15-25, isbn 2-7261-1197-1, 11 p.Conference Paper

Call-by-value, call-by-name and the logic of valuesSTÄRK, R. F.Lecture notes in computer science. 1997, pp 431-445, issn 0302-9743, isbn 3-540-63172-0Conference Paper

Executable semantic descriptionsWATT, D. A.Software, practice & experience. 1986, Vol 16, Num 1, pp 13-43, issn 0038-0644Article

Sized types for typing Eden skeletonsPENA, Ricardo; SEGURA, Clara.Lecture notes in computer science. 2002, pp 1-17, issn 0302-9743, isbn 3-540-43537-9Conference Paper

Type-indexed data typesHINZE, Ralf; JEURING, Johan; LÖH, Andres et al.Lecture notes in computer science. 2002, pp 148-174, issn 0302-9743, isbn 3-540-43857-2, 27 p.Conference Paper

IFL 2000 : implementation of functional languages (Aachen, 4-7 September 2000, selected papers)Mohnen, Markus; Koopman, Pieter.Lecture notes in computer science. 2001, issn 0302-9743, isbn 3-540-41919-5, VIII, 265 p, isbn 3-540-41919-5Conference Proceedings

Making a packet : Cost-effective communication for a parallel graph reducerLOIDL, H.-W; HAMMOND, K.Lecture notes in computer science. 1997, pp 184-199, issn 0302-9743, isbn 3-540-63237-9Conference Paper

Nondeterminism with referential transparency in functional programming languagesBURTON, F. W.Computer journal (Print). 1988, Vol 31, Num 3, pp 243-247, issn 0010-4620Article

Testing and tracing lazy functional programs using quickcheck and hatCLAESSEN, Koen; RUNCIMAN, Colin; CHITIL, Olaf et al.Lecture notes in computer science. 2003, pp 59-99, issn 0302-9743, isbn 3-540-40132-6, 41 p.Conference Paper